|
In functional analysis, the Friedrichs extension is a canonical self-adjoint extension of a non-negative densely defined symmetric operator. It is named after the mathematician Kurt Friedrichs. This extension is particularly useful in situations where an operator may fail to be essentially self-adjoint or whose essential self-adjointness is difficult to show. An operator ''T'' is non-negative if : ==Examples== Example. Multiplication by a non-negative function on an ''L''2 space is a non-negative self-adjoint operator. Example. Let ''U'' be an open set in R''n''. On ''L''2(''U'') we consider differential operators of the form : where the functions ''a''''i j'' are infinitely differentiable real-valued functions on ''U''. We consider ''T'' acting on the dense subspace of infinitely differentiable complex-valued functions of compact support, in symbols : If for each ''x'' ∈ ''U'' the ''n'' × ''n'' matrix : is non-negative semi-definite, then ''T'' is a non-negative operator. This means (a) that the matrix is hermitian and : for every choice of complex numbers ''c''1, ..., ''c''n. This is proved using integration by parts. These operators are elliptic although in general elliptic operators may not be non-negative. They are however bounded from below. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Friedrichs extension」の詳細全文を読む スポンサード リンク
|